Logical Induction (Abridged) Scott Garrabrant, Tsvi Benson-Tilsen, Andrew Critch, Nate Soares, and Jessica Taylor {scott,tsvi,critch,nate,jessica}@intelligence.org Machine Intelligence Research Institute Abstract

Source URL: intelligence.org

Integrated On-Machine Metrology Systems Christopher W. King UCL, Optic Technium, St Asaph, N. Wales, UK Abstract – Producing On-Machine Metrology systems can present many benefits for the production of optical componen

Source URL: www.jspe.or.jp

Discovery of Discriminating Neural Regions for MRI Classification S. Seth Long and Lawrence B. Holder Washington State University Abstract Machine learning methods can be applied to MRI scans of

Source URL: serc.wsu.edu

Ghosts in the machine Scheme Workshop 2016 Daniel Szmulewicz 1 Abstract

Source URL: scheme2016.snow-fort.org

• Computing
• Software engineering
• Computer programming
• Programming languages
• Functional languages
• Scripting languages
• Lisp
• Clojure
• Futures and promises
• Java virtual machine
• Vars

A Model for Learned Bloom Filters and Related Structures Michael Mitzenmacher1 Abstract— Recent work has suggested enhancing Bloom filters by using a pre-filter, based on applying machine learning to model the data set

Source URL: www.eecs.harvard.edu

IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE 1 Adopting Abstract Images for Semantic Scene Understanding

Source URL: larryzitnick.org

Learning to Augment a Machine-Readable Dictionary Robert Krovetz Department of Computer Science University of Massachusetts, Amherst, MAUSA Abstract

Source URL: lexicalresearch.com

Wrist Angle Measurements using Soft Sensors Daniel M. Vogt and Robert J. Wood Abstract— With new technologies appearing, there are many opportunities to innovate in the field of human-machine interfaces. Motion trackin

Source URL: micro.seas.harvard.edu

Factored Neural Machine Translation Architectures Mercedes Garc´ıa-Mart´ınez, Lo¨ıc Barrault, Fethi Bougares LIUM, University of Le Mans, France Abstract

Source URL: workshop2016.iwslt.org

A Calculus of Virtually Timed Ambients Einar Broch Johnsen, Martin Steffen, and Johanna Beate Stumpf University of Oslo, Oslo, Norway {einarj,msteffen,johanbst}@ifi.uio.no Abstract. A virtual machine, which is a softwar

Source URL: einarj.at.ifi.uio.no